inclusion monotonic

包含关系单调的